triggers-glued-p(es; A; l; tg; ds; conds)
== es-triggers-params-consistent(es;A;source(l);ds;conds)
== & (e:E. (kind(e) = rcv(l,tg))  (valtype(e) r A))
== & glued(es;
== & glued(A;
== & glued((e.es-triggers(es;source(l);ds;conds)(e));
== & glued(es-triggers(es;source(l);ds;conds);
== & glued(es-in-port(es;l;tg)) 

latex

---

clarification:

triggers-glued-p(es; A; l; tg; ds; conds)
== es-triggers-params-consistent(es;A;source(l);ds;conds)
== & (e:es-E(es). (es-kind(es; e) = rcv(l,tg)  Knd)  (es-valtype(es; e) r A))
== & glued(es;
== & glued(A;
== & glued((e.es-triggers(es;source(l);ds;conds)(e));
== & glued(es-triggers(es;source(l);ds;conds);
== & glued(es-in-port(es;l;tg)) 

latex

Definitions	es-triggers-params-consistent(es;A;i;ds;conds), P & Q, x:A. B(x), E, P  Q, s = t, Knd, kind(e), rcv(l,tg), valtype(e), glued(es; B; f; Ia; Ib), x.A(x), X(e), es-triggers(es;i;ds;conds), source(l), es-in-port(es;l;tg)
FDL editor aliases	triggers-glued-p